algorithmic unsolvability

un. 算法不可解性